Merge pull request #7770 from nextcloud/ui/menuseparator
authorCarl Schwan <carl@carlschwan.eu>
Sat, 18 Jan 2025 15:04:14 +0000 (16:04 +0100)
committerGitHub <noreply@github.com>
Sat, 18 Jan 2025 15:04:14 +0000 (16:04 +0100)
Use normal MenuSeparator instead of custom code


Trivial merge